Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
961	Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt Add to Reading List Source URL: www.klabs.org Language: English - Date: 2009-01-16 16:45:26 Hardware description languages E SystemVerilog Functional verification Formal verification Verilog SystemC Integrated circuit design Verification and validation Electronic engineering Electronic design automation Hardware verification languages
962	Worker/wrapper for a Better Life Extended Abstract Brad Torrence Mike Stees Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal methods Functional languages Functions and mappings Theoretical computer science Function Haskell Hindley–Milner Fold Combinatory logic Software engineering Computing Mathematics
963	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
964	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Models of computation Racket Formal languages Lambda calculus ALGOL 68 Lazy evaluation Fold Regular expression Software engineering Computing Computer programming
965	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:25 Formal languages String Automata theory Comparison of programming languages Regular expression Scheme Natural transformation S-expression Lookup table Computing Software engineering Computer programming
966	Fortifying Macros ∗ Ryan Culpepper † Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Source code Formal languages C programming language Transformation languages Hygienic macro Scheme programming language Macro Pattern matching Attribute grammar Computer programming Computing Software engineering
967	A Bibliographer’s Toolbox Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT[removed] Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2012-01-26 05:17:28 Formal languages Markup languages Emacs Technical communication Pattern matching TeX HTML Scribe Diff Software Computing Application software
968	Dimensions of Deep Grammar Validation Dan Flickinger Oslo, Saarland, and Stanford Universities [removed] Abstract Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:53 Generative linguistics Natural language processing Formal languages Speech recognition Head-driven phrase structure grammar Parsing LKB Tree-adjoining grammar Phrase structure grammar Linguistics Science Computational linguistics
969	Disambiguating Conjunctions in Named Entities Pawel MAZUR Institute of Applied Informatics Wroclaw University of Technology Wyb. Wyspia´ nskiego 27 Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:54 Formal languages Natural language processing Artificial intelligence String Part-of-speech tagging Named-entity recognition Algorithm Information extraction Regular expression Linguistics Computational linguistics Science
970	Microsoft Word - 11-LALR-Parsing.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:19 Compiler construction Compiling tools LALR parser Parser generators LR parser Formal languages LL parser Lookahead Parsing Programming language implementation Software Computing

UPDATE